|
|
Support of Run-time Monitoring of Processes in ANaConDA Framework
Mužikovská, Monika ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor)
Tato práce rozšiřuje nástroj ANaConDA pro dynamickou analýzu vícevláknových programů o možnost analyzovat také programy víceprocesové. Část práce se soustředí na popis nástroje ANaConDA a mechanismů, které pro monitorování využívá, a na jejich nutné úpravy vzhledem k rozdílům procesů a vláken. Tyto zahrnují nutnost složitějších mechanismů pro meziprocesovou komunikaci, nutnost překládat logické adresy na jiný jednoznačný identifikátor a monitorování obecných semaforů. Rozšíření pro monitorování procesů tyto problémy řeší za vývojáře analyzátorů, čímž velmi zjednodušuje jejich vývoj. Užitečnost rozšíření je ukázána na implementaci dvou analyzátorů pro detekci souběhu (AtomRace a FastTrack), které bylo dosud možné využít pouze na vícevláknové programy. Implementace algoritmu FastTrack využívá happens-before relaci pro obecné semafory, která byla také definována jako součást této práce. Experimenty s analyzátory na studentských projektech ukázaly, že nástroj ANaConDA je nyní schopen detekovat paralelní chyby i ve víceprocesových programech a může tak pomoci při vývoji další skupiny paralelních programů.
|
|
|
The imposition of penalties on the concurrence of crimes and recidivism
Hrubá, Michaela ; Heranová, Simona (advisor) ; Pelc, Vladimír (referee)
The imposition of penalties on the concurrence of crimes and recidivism Abstract This final thesis deals with the imposition of penalties on the concurrence of crimes, recidivism and related quasi-recidivism. The aim of the thesis is to comprehensively analyse the current legal regulation on the basis of an analysis of the statutory regulation, the related case law and professional publications, and to supplement this analysis with the own considerations and de lege ferenda proposals of the author of this thesis. Furthermore, the Czech legal regulation is compared with the Italian legal regulation, which demonstrates a different approach to punishing concurrence and recidivism. The thesis has been written using the descriptive, analytical, synthetic and interpretative methods, especially linguistic and teleological interpretation. The comparative method was also used, in particular for comparing the Czech and Italian legal regulations. Structurally, the thesis is divided into four chapters. The first chapter of the thesis deals with the definition of the terms concurrence of crimes, recidivism, and also quasi-recidivism, while pointing out selected issues, which occur while distinguishing these forms of multiple offences. The second chapter of the thesis analyses the legal regulation regarding the...
|
|
|
Support of Run-time Monitoring of Processes in ANaConDA Framework
Mužikovská, Monika ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor)
Tato práce rozšiřuje nástroj ANaConDA pro dynamickou analýzu vícevláknových programů o možnost analyzovat také programy víceprocesové. Část práce se soustředí na popis nástroje ANaConDA a mechanismů, které pro monitorování využívá, a na jejich nutné úpravy vzhledem k rozdílům procesů a vláken. Tyto zahrnují nutnost složitějších mechanismů pro meziprocesovou komunikaci, nutnost překládat logické adresy na jiný jednoznačný identifikátor a monitorování obecných semaforů. Rozšíření pro monitorování procesů tyto problémy řeší za vývojáře analyzátorů, čímž velmi zjednodušuje jejich vývoj. Užitečnost rozšíření je ukázána na implementaci dvou analyzátorů pro detekci souběhu (AtomRace a FastTrack), které bylo dosud možné využít pouze na vícevláknové programy. Implementace algoritmu FastTrack využívá happens-before relaci pro obecné semafory, která byla také definována jako součást této práce. Experimenty s analyzátory na studentských projektech ukázaly, že nástroj ANaConDA je nyní schopen detekovat paralelní chyby i ve víceprocesových programech a může tak pomoci při vývoji další skupiny paralelních programů.
|
|
|
The comparison of the approaches towards concurrence of employment relationship and membership in the statutory body of a company in the Czech and German regulation
Dvořák, Michal ; Štefko, Martin (advisor) ; Tomšej, Jakub (referee)
(English) The presented work deals with the position of persons who are supposed to perform the function of a member of the statutory body of a legal entity in the employment relationship, as the status of these members of the statutory body has been disputed in Czech law for a very long time. Since approach to this issue in the neighboring Federal Republic of Germany is equally interesting and the professional public, including the German Federal Court of Justice, regularly expresses itself to the question of the concurrence of employment and membership in the statutory body of a business corporation at least since the middle of the last century, I have chosen a comparison of approaches in Germany and the Czech Republic to this issue as a tool for explanation of the whole issue, familiarization with the view from a different angle and also for obtaining of any inspiration for solving this legal issue in Czech law. With the help of the descriptive, analytical and comparative method I analyzed the concurrence of the functions of employees and members of statutory bodies in Czech law and the law of the Federal Republic of Germany, I also took into account the current case law of the European Court of Justice in this matter. By comparing the legal regulations of both countries, I learned that...
|
|
|
Convergence of Copyright and Trademark Protection
Fischer, Jan ; Žikovská, Petra (advisor) ; Dobřichovský, Tomáš (referee)
This thesis deals with intellectual property and discusses the legislation of copyright law, trademark law and their possible convergence. The aim of the thesis is to introduce the basic attributes of the two individual pieces of legislation, to show the foundations on which copyright law and trademark law stand and thus to define their common and completely different characters. The thesis is divided into an introduction that brings the subject to the topic, four main chapters and a final conclusion. The first chapter deals with the theoretical context of copyright law and trademark law in the areas of intellectual property rights, intangible property and constitutional establishment in the Czech Republic. In the following two chapters, the two mentioned protections are discussed in more detail. The chapters have a similar classification that helps to understand the individual copyright and trademark elements. Here are described legal regulations both in the international, European and valid law of the Czech Republic and they focus in more detail on the main concepts such as the author, the author's work, trademark, effects or registration proceedings. Important part are also the subchapters on protection options. The fourth chapter is devoted to the main topic of this study, the convergence of...
|
guest ::
